Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
291	Specifying Crash Safety for Storage Systems Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler,† Nickolai Zeldovich MIT CSAIL and † Harvard University 1 Add to Reading List Source URL: people.csail.mit.edu Language: English Disk file systems File system Ext3 Kernel Formal verification Linux kernel KeY XFS Btrfs Computing Software System software
292	The PNC 2 Cluster Algorithm An integrated learning algorithm for rule induction Lars Haendel () Dortmund, Germany 2003 This document is an english translation of the parts of my PhD thesis, that are relev Add to Reading List Source URL: www.newty.de Language: English - Date: 2003-10-22 16:02:05 Data analysis Neural networks Formal sciences Multivariate statistics Algorithm Cluster analysis Data mining Regression analysis Fuzzy control system Statistics Science Machine learning
293	Microsoft Word - IBSAI NNets, Gene, NLP.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:45:45 Linguistics Stochastic context-free grammar L-system Context-free grammar DNA Support vector machine Formal grammar Promoter N-gram Formal languages Science Biology
294	Republic of Belarus Recent developments In 2011 the Code of Education was adopted, where for the first time adult education, formal and non-formal education were mentioned as part of the national educational system. Prev Add to Reading List Source URL: www.eaea.org Language: English - Date: 2014-10-06 07:11:52 Vocational education Belarus Education Educational psychology Nonformal learning
295	Annotations with EARMARK in practice: a fairy tale Gioele Barabucci Angelo Di Iorio Silvio Peroni Add to Reading List Source URL: speroni.web.cs.unibo.it Language: English - Date: 2013-11-20 08:26:25 OSI protocols Technical communication EARMARK Computer file formats Open formats Annotation XML Semantic Web Document management system Computing Formal languages Markup languages
296	Notice for EoI CRIME AND CRIMINAL TRACKING NETWORK AND SYSTEMS (CCTNS) PROJECT Add to Reading List Source URL: ncrb.nic.in Language: English - Date: 2012-01-12 04:01:12 Formal sciences Data management Analytics Mathematical finance Geographic information system National Crime Records Bureau Predictive analytics Business intelligence Statistics Business
297	Programming with constraint solvers toward a shared infrastructure for code checking, angelic execution, debugging, and synthesis Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:02 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL X Window System Theoretical computer science Computing Software engineering
298	First-class labels for extensible rows Technical report: UU-CSDaan Leijen Institute of Information and Computing Sciences, Utrecht University P.O.Box, 3508 TB Utrecht, The Netherlands Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-26 18:48:58 Applied mathematics Formal methods Models of computation Computability theory System F Predicate Lambda calculus Function Unification Mathematics Type theory Theoretical computer science
299	cwru formal logo white-rev no tag Add to Reading List Source URL: case.edu Language: English - Date: 2014-02-06 11:05:50 Geography of the United States Case Western Reserve University Federal Reserve System Cleveland Ohio The Temple University Circle
300	CEH SCIENCE AREAS SUMMARY biosphere-Atmosphere Interactions Ecological Processes & Resilience Add to Reading List Source URL: www.ceh.ac.uk Language: English - Date: 2014-11-26 06:05:11 Centre for Ecology and Hydrology Formal sciences Biological Records Centre Environmental informatics Open data Geographic information system Partnership for European Environmental Research Big data Metadata Technology Conservation in the United Kingdom Science

UPDATE